local solvability

局部可解性